Sync texinfo.tex and sed-related fixes from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 9 Feb 2011 01:40:01 +0000 (17:40 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 9 Feb 2011 01:40:01 +0000 (17:40 -0800)
commite62989d1869316084f9d39cf10cf607347cf11be
tree0681b875229cc97d352b0729e888cd95e15717e5
parent7849d86d07fa5efbaa8430efe07f2e136615d1d9
Sync texinfo.tex and sed-related fixes from gnulib.
ChangeLog
doc/misc/ChangeLog
doc/misc/texinfo.tex
lib/Makefile.in
lib/gnulib.mk